-embedding, Amalgamation and -elementary equivalence
Ogni logica genera canonicamente la -equivalenza e la -immersione proprio come la logica del primo ordine genera l’equivalenza elementare e l’immersione elementare . Astraendo da , è interessante studiare in sè relazioni d’equivalenza e di immersione generali tra strutture. Mostriamo che esiste una corrispondenza biunivoca tra relazioni d’equivalenza con la proprietà di Robinson e relazioni d’immersione con la proprietà di Amalgamazione Forte (). Caratterizziamo algebricamente quelle...